|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
17/02/1998 |
Data da última atualização: |
20/09/2007 |
Autoria: |
SOUZA, W. L. de; PRADO, A. F. do; SANTANA, A. C. L. de. |
Título: |
Implementação automática, orientada a objetos, de especificações estelle na linguagem C++. |
Ano de publicação: |
1996 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. |
Páginas: |
p.31-44 |
Idioma: |
Português |
Conteúdo: |
Extended State Transition Language (ESTELLE) e uma Técnica de Descrição Formal (TDF), padronizada pela International Organization for Standardization (ISO), que foi desenvolvida para a especificação formal de sistemas distribuidos e protocólos de comunicação. Uma implementação de um sistema pode ser obtida automaticamente, a partir de sua especificação ESTELLE, com o auxilio de ferramentas apropriadas. O objetivo principal deste artigo e o de mostrar como implementações de sistemas orientados a objetos, na linguagem C++, podem ser geradas a partir de suas especificacoes ESTELLE, utilizando o ambiente de transformação de software draco. |
Palavras-Chave: |
Linguagens de programação; Programming languages. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01278naa a2200181 a 4500 001 1005984 005 2007-09-20 008 1996 bl uuuu u00u1 u #d 100 1 $aSOUZA, W. L. de 245 $aImplementação automática, orientada a objetos, de especificações estelle na linguagem C++. 260 $c1996 300 $ap.31-44 520 $aExtended State Transition Language (ESTELLE) e uma Técnica de Descrição Formal (TDF), padronizada pela International Organization for Standardization (ISO), que foi desenvolvida para a especificação formal de sistemas distribuidos e protocólos de comunicação. Uma implementação de um sistema pode ser obtida automaticamente, a partir de sua especificação ESTELLE, com o auxilio de ferramentas apropriadas. O objetivo principal deste artigo e o de mostrar como implementações de sistemas orientados a objetos, na linguagem C++, podem ser geradas a partir de suas especificacoes ESTELLE, utilizando o ambiente de transformação de software draco. 653 $aLinguagens de programação 653 $aProgramming languages 700 1 $aPRADO, A. F. do 700 1 $aSANTANA, A. C. L. de 773 $tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 10 | |
2. | | SOUZA, W. L.; MORAES, E. A.; OLIVEIRA, R. P. de. Colesterol carregado pela ciclodextrina sobre a criopreservação dos espermatozoides de garanhões da raça Nordestina. Pesquisa Veterinária Brasileira, Brasília, DF, v. 38, n. 5, p. 991-996, maio, 2018.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
Biblioteca(s): Embrapa Semiárido; Embrapa Unidades Centrais. |
| |
4. | | SOUZA, W. L. da S.; VIEIRA, H. S. E.; SILVA, Y. J. A. B. de; RIBEIRO FILHO, M. R.; CANTALICE, J. R. B.; SILVA, A. B. da. Avaliação de atributos químicos da camada superficial de solos cultivados com uva sob diferentes sistemas de manejo. JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife.Tipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Solos. |
| |
5. | | SANTOS, M. A. M.; GRADELA, A.; MORAES, E. A.; SOUZA, W. L.; ALVES, N. G.; COSTA, J. M. S.; MATOS, W. C. G. Características de sêmen a fresco e descongelado de garanhões da raça nordestina. Pesquisa Veterinária Brasileira, Brasília, DF, v. 35, n. 11, p. 925-932, nov. 2015.Biblioteca(s): Embrapa Unidades Centrais. |
| |
6. | | ANDRADE, J. C de P. A.; JORDÁ JÚNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L de L.; GOMES, M.; FERNANDES, V. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no sul da Bahia. In: MONTOYA VILCAHUAMAN, L. J.; RIBASKI, J.; MACHADO, A. M. B. (Ed.). Sistemas agroflorestais e desenvolvimento com proteção ambiental: práticas e tecnologias desenvolvidas. Colombo: Embrapa Florestas, 2006. p. 201-214.Biblioteca(s): Embrapa Florestas. |
| |
7. | | ANDRADE, J. C. de P.; JORDÁ JUNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L. de L. SILVA, D. C. da; GOMES, M. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no Sul da Bahia. In: CONGRESSO BRASILEIRO DE SISTEMAS AGROFLORESTAIS, 5., 2004, Curitiba. SAFs: desenvolvimento com proteção ambiental: anais. Colombo: Embrapa Florestas, 2004. p. 217-219. (Embrapa Florestas. Documentos, 98).Biblioteca(s): Embrapa Florestas. |
| |
8. | | SOUZA, W. L.; MORAES, E. A.; COSTA, J. M. S.; SOUSA, P. H. F.; LOPES JUNIOR, E. S.; OLIVEIRA, R. P. de; TONIOLLI, R. Efeito de diferentes concentrações de melatonina em espermatozoides de carneiros sobre estresse oxidativo após criopreservação. Pesquisa Veterinária Brasileira, Brasília, DF, v.36, n. 7, p. 657-664, jul. 2016.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
Biblioteca(s): Embrapa Semiárido; Embrapa Unidades Centrais. |
| |
9. | | VIEIRA, H. S. E.; SOUZA, W. L. da S.; SILVA, Y. J. A. B. de; SILVA, U. J. A. B. da, CURZ NETO, H. F. de, CANTALICE, J. R. B.; RIBEIRO FILHO, M. R.; SILVA, A. B. da. Propriedades Físicas e teor de carbono orgânico de um argissolo sob dois sistema de manejo e mata nativa. JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife. RsumoTipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Solos. |
| |
10. | | SOUZA, W. L. da S.; VIEIRA, H. S. E.; SILVA, Y. J. A. B. de; CANTALICE, J. R. B.; MEUNIER, I. M. J.; RIBEIRO FILHO, M. R.; SILVA, A. B. da; COSTA, C. da S. Número de amostras necessárias para representar alguns atributos químicos de um solo sob diferentes sistemas de manejo JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife.Tipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Solos. |
| |
Registros recuperados : 10 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|